The Direct Image Of A Set: Definition And Example